SUSPENDED NELLIE

Executing Suspended Logic Programs

We present an extension of Logic Programming LP which in addition to ordi nary LP clauses also includes integrity constraints explicit representation of disjunction in the bodies of clauses and in goals and suspension of atoms as in concurrent logic languages The resulting framework aims to unify Constraint Logic Programming CLP Abductive Logic Programming ALP and Semantic Query Optimisation SQ...

Electrostatically suspended torsion pendulum

A torsion pendulum without a torsion wire has been designed and realized, in order to measure very weak forces. The arm of this torsion pendulum ~5.40 g, 1.32310 kg m of inertia! is electrostatically suspended. Its 6 degrees of freedom are controlled thanks to electrostatic forces, and capacitive position sensing with a noise spectral density between 10 and 10 m/AHz. The torque noise spectral d...

Suspended life or extending death?

Polarons in suspended carbon nanotubes.

We prove theoretically the possibility of electric-field controlled polaron formation involving flexural (bending) modes in suspended carbon nanotubes. Upon increasing the field, the ground state of the system with a single extra electron undergoes a first-order phase transition between an extended state and a localized polaron state. For a common experimental setup, the threshold electric fiel...

Variable Value Manager Suspended Function

eduction model. We postulate that this implementation can potentially ooer superior performance scalability when compared to the single-master implementations even when the granularity of parallelism is not very coarse. Immediate future work will focus on evaluating the performance scalability of the new implementationus-ing GLU applications with modest granularity of par-allelism. In the long ...